#!/bin/bash
#
# usage: simple_run_pin.sh -- [command]
#

OBJDIR=obj-intel64/
DLL_SUFFIX=.dylib

echo $PIN_ROOT/pin -follow_execv 1 -injection dynamic -t $PIN_TOOLS/SimpleExamples/${OBJDIR}bbl_queue${DLL_SUFFIX} $*
time $PIN_ROOT/pin -follow_execv 1 -injection dynamic -t $PIN_TOOLS/SimpleExamples/${OBJDIR}bbl_queue${DLL_SUFFIX} $*
